Automated theorem proving - PDFSEARCH.IO - Document Search Engine

Automated theorem proving
Results: 768

#	Item
181	UITP 2005 Preliminary Version Interactive and Hierarchical Tracing of Techniques in IsaPlanner Lucas Dixon 1,2 Informatics Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-12-15 09:19:07 Automated theorem proving IsaPlanner Rippling Mathematical proof Theorem KeY Proof assistant Direct proof Mathematical logic Mathematical induction
182	A Proof-Centric approach to Mathematical Assistants Lucas Dixon and Jacques Fleuriot School of Informatics, University of Edinburgh, Appleton Tower, Crighton Street, Edinburgh, EH8 9LE, UK Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-09-01 07:28:34 Automated theorem proving Logic Theoretical computer science Mathematical logic Isabelle IsaPlanner Proof assistant Mathematical proof Automated proof checking Rippling Theorem Proof
183	SRL challenge: Extracting proof strategies from exemplar proofs Gudmund Grov, Katya Komendantskaya, Alan Bundy Statistical Relational Learning Workshop 30 June 2012 Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:45 Theoretical computer science Software Logic Proof assistants Automated theorem proving Formal systems Logical truth Proof theory Isabelle ACL2 Coq Proof
184	Learning and Explora/on in Automated Theorem Proving Moa Johansson Chalmers University of Technology Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2015-09-02 07:29:35 Logic Philosophy Abstraction Automated theorem proving Proof theory Computational complexity theory Proof assistants Theorem Mathematical proof Type theory Algorithm Proof
185	Degrees of undecidability of in Term Rewriting J¨org Endrullis, Herman Geuvers, Hans Zantema Radboud University Nijmegen, Technical University Eindhoven, Free University Amsterdam, The Netherlands CSL 2009 Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2010-01-06 11:26:31 Theoretical computer science Mathematics Logic Mathematical logic Formal languages Logic in computer science Automated theorem proving Logic programming Rewriting Confluence Rewrite order Substitution
186	A Theorem Proving Approach to Secure Information Flow in Concurrent Programs (Extended Abstract) Daniel Bruns, Karlsruhe Institute of Technology We present an approach to formally prove secure information flow in multi-t Add to Reading List Source URL: software.imdea.org Language: English - Date: 2015-07-09 06:40:16 Theoretical computer science Logic in computer science Formal methods Mathematical logic KeY Formal verification Dynamic logic Automated theorem proving Logic Language-based security
187	Case-Analysis for Rippling and Inductive Proof Moa Johansson1 , Lucas Dixon2 , and Alan Bundy2 1 Dipartimento di Informatica, Universit` a degli Studi di Verona Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-04-09 17:09:07 Automated theorem proving Theoretical computer science Mathematical logic Mathematics Rippling IsaPlanner Mathematical proof Resolution Unification Mathematical induction Triviality
188	IsaPlanner: A Prototype Proof Planner in Isabelle Lucas Dixon and Jacques Fleuriot ? Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-03-10 05:42:39 Automated theorem proving Theoretical computer science Mathematical logic Mathematics IsaPlanner Automated reasoning Isabelle Rippling Mathematical proof Interactive Theorem Proving Theorem Mathematical induction
189	Cruanes, Heymans, Mason, Owre, and Shankar The Semantics of Datalog for the Evidential Tool Bus? (Extended Abstract) Simon Cruanes1 , Stijn Heymans2 , Ian Mason3 , Sam Owre3 , and Natarajan Add to Reading List Source URL: stijnheymans.net Language: English - Date: 2015-12-05 16:07:35 Predicate logic Mathematical logic Propositional calculus Automated theorem proving Query languages Datalog Prolog Logic programming Ground expression Horn clause Substitution First-order logic